-
1 formal method
Большой англо-русский и русско-английский словарь > formal method
-
2 formal method
Математика: формальный метод -
3 Formal Method(s)
Abbreviation: FM -
4 Formal Method
Abbreviation: (s) FM -
5 formal method
формальный методEnglish-Russian dictionary of technical terms > formal method
-
6 formal method
мат. -
7 formal method
Англо-русский словарь по исследованиям и ноу-хау > formal method
-
8 formal method: A software engineering method that uses a formal specification language — that is, a language with mathematically defined syntax and semantics
Общая лексика: формальный метод: метод проектирования программ, в котором используется язык формальных спеУниверсальный англо-русский словарь > formal method: A software engineering method that uses a formal specification language — that is, a language with mathematically defined syntax and semantics
-
9 lightweight formal method
матем. упрощённый формальный методEnglish-Russian dictionary of computer science and programming > lightweight formal method
-
10 method
метод; процедура; способ- antithetic variate method - average ordinate method - average range method - binary search method - conjugate directions method - conjugate gradient method - control chart method - conventional milling method - correlation function method - decision function method - differential control method - Feynman diagram method - first approximation method - gradient projection method - iterative method - large sample method - large sieve method - least-squares regression method - less than fully efficient method - linearly implicit method - method of adjoint gradient - method of algebraic addition - method of alternating directions - method of balanced blocks - method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients - method of cyclic descent - method of detached coefficients - method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball - method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points - method of full enumeration - method of generating functions - method of geometric exhaustion - method of indefinite coefficients - method of infinite descent - method of interval bisection - method of least absolute values - method of least distance - method of least likelihood - method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison - method of orthogonal projections - method of paired associates - method of paired comparisons - method of phase integrals - method of projecting cones - method of proportional parts - method of rotating factors - method of semantic tableaux - method of separation of variables - method of simulaneous displacements - method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration - method of successive displacements - method of successive divisions - method of successive elimination - method of transfinite induction - method of unweighted means - method of variable differences - method of variation of parameters - method of weighted residuals - optimum method - parallel tangents method - precision method - random walk method - recursive method - reduced gradient method - reflected wave method - relative method of measurement - sampling method by variables - statistical sampling method - steepest descent method - time average method -
11 method
1) метод; способ (см. тж. technique 1)2) ООП метод (функция - элемент определения класса (class) в языке Smalltalk, в C++ - см. member function)•- alphageometric method
- Amble's method
- ancestor method
- assembly method
- basic access method
- bibliography method
- bit-level method
- branch and bounds method
- buffering method
- building-block method
- chaining method
- checksum method
- coded pattern method
- conditional delay method
- constraint satisfaction method
- critical path method
- cut-and-try method
- cutset method
- dark-spot method
- data access method
- deductive method
- derivative approximation method
- diagonal method
- diagram method
- dichotomy method
- digital sorting method
- direct access method
- exhaustive method
- false position method
- finished method
- finitary method
- finite difference method
- flip-chip method
- flooding method
- flowgraph method
- frequency analysis method
- gradient method
- graphic access method
- heuristic method
- hierarchical access method
- hit-and-miss method
- Horner's method
- hunt-and-stick method
- index register method
- indexed-sequential access method
- inline-code method
- inverse power method
- inverse transformation method
- issue method
- iteration method
- least-squares method
- left-edge method
- lightweight formal method
- linkage method
- longest route method
- machine method
- maximum-likelihood method
- method of quickest descent
- method of selected point
- method of successive approximations
- Monte-Carlo method
- net method
- Newton's method
- nonrestoring method
- N-pass method
- numerical method
- operational method
- opposition method
- overlay method
- part-continuous method
- partitioned access method
- pencil-and-paper method
- perturbation method
- piezoelectric sensing method
- ping-pong method
- power method
- predictor-corrector method
- programming method
- progressive-part method
- proprietary method
- pure virtual method
- queued access method
- queued indexed sequential access method
- radial exploration method
- random-walk method
- recursive descendant method
- regular falsi method
- resetting method
- resident access method
- review article method
- row-by-row method
- rubber band method
- Runge-Kutta method
- saddle point method
- sampling method
- scale factor method
- scan-set method
- scheduling method
- scissors and paste method
- secant method
- sectioning method
- semigroup method
- sequential access method
- shortcut method
- shortcut multiplication method
- sieve method
- simplex method
- single-path instruction method
- sit-by-me instuction method
- state-space method
- steepest descent method
- step-by-step method
- stroke method
- subject profile method
- symbolic method
- symbolical method
- syntactic method
- synthetic method
- target method
- telecommunication access method
- temporal difference method
- time-domain method
- touch method with ten fingers
- trial-and-error method
- truth table method
- variable separation method
- variable-metric method
- variational method
- variation method
- V-brush method
- vernier pulse-timing method
- virtual method
- wire-wrap method
- zero-deflection methodEnglish-Russian dictionary of computer science and programming > method
-
12 method of multiple scales
Математика: (the formal perturbation procedure known as the) метод кратных масштабов (or in its simplest form two-timing relies on...), метод многих масштабовУниверсальный англо-русский словарь > method of multiple scales
-
13 Formal Systems
No less than the death of meaning should we have forecast from a manner of thought that emptied thought of all content, and what else could we expect from a method of analysis that presumed to show that meaning might mysteriously emerge from the mechanical concatenation of meaningless elements?... Whether in art or science nothing is clearer than the intellectual poverty of formalism. (Tyler, 1978, p. 465)Historical dictionary of quotations in cognitive science > Formal Systems
-
14 formal axiomatic method
Макаров: формальный аксиоматический методУниверсальный англо-русский словарь > formal axiomatic method
-
15 formal-titration method
Макаров: метод формального титрования (белка)Универсальный англо-русский словарь > formal-titration method
-
16 formal axiomatic method
English-russian dictionary of physics > formal axiomatic method
-
17 (the formal perturbation procedure known as the) method of multiple scales
Математика: метод кратных масштабов (or in its simplest form two-timing relies on...)Универсальный англо-русский словарь > (the formal perturbation procedure known as the) method of multiple scales
-
18 формальный метод
-
19 формальный метод
-
20 формальный метод
См. также в других словарях:
Formal methods — In computer science and software engineering, formal methods are particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.cite web|author=R. W. Butler|title=What is… … Wikipedia
Formal science — A formal science is a theoretical study that is concerned with theoretical formal systems, for instance, logic, mathematics, systems theory and the theoretical branches of computer science, information theory, economics, statistics, and… … Wikipedia
Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] … Wikipedia
Formal language — A formal language is a set of words , i.e. finite strings of letters , or symbols . The inventory from which these letters are taken is called the alphabet over which the language is defined. A formal language is often defined by means of a… … Wikipedia
Formal — Form al (f[^o]rm al), a. [L. formalis: cf. F. formel.] 1. Belonging to the form, shape, frame, external appearance, or organization of a thing. [1913 Webster] 2. Belonging to the constitution of a thing, as distinguished from the matter composing … The Collaborative International Dictionary of English
Formal cause — Formal Form al (f[^o]rm al), a. [L. formalis: cf. F. formel.] 1. Belonging to the form, shape, frame, external appearance, or organization of a thing. [1913 Webster] 2. Belonging to the constitution of a thing, as distinguished from the matter… … The Collaborative International Dictionary of English
Method acting — is a phrase that loosely refers to a family of techniques used by actors to create in themselves the thoughts and emotions of their characters, so as to develop lifelike performances. It can be contrasted with more classical forms of acting, in… … Wikipedia
Formal concept analysis — is a principled way of automatically deriving an ontology from a collection of objects and their properties. The term was introduced by Rudolf Wille in 1984, and builds on applied lattice and order theory that was developed by Birkhoff and others … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… … Wikipedia
Formal charge — 2006, 83, 791. [http://www.jce.divched.org/Journal/Issues/2006/May/abs791.html Abstract] ] .The formal charge can be calculated by the following equation:FC = number of valence electrons of the atom number of lone pair electrons on this atom half … Wikipedia